/* STYLES FOR VIEWING THE MANUAL ON THE WEBSITE */

/* === Navigation Sidebar === */

/* larger links: manual home, up one level, download */

ul.man-side_top,
ul.man-side_up,
ul.man-side_download {
    margin-top: 0.5em;
    margin-bottom: 0.5em;
    margin-left: 0.7em;
    padding-left: 0.7em;
}

li.man-side_top {
    list-style: url(/gifs/caret-t.gif) circle;
    text-indent: -0.4em;
}

li.man-side_up {
    list-style: url(/gifs/caret-u.gif) disc;
    text-indent: -0.4em;
}

li.man-side_download {
    list-style: url(/gifs/box-0.gif) square;
    text-indent: -0.4em;
}

/* list of manual pages */

ul.man-side_pages {
    margin-top: 0.5em;
    margin-bottom: 0.5em;
    margin-left: 0.8em;
    padding-left: 0.8em;
    list-style: url(/gifs/box-0.gif) square;
}

li.man-side_page {
    text-indent: -0.4em;
    font-size: 80%;
}


/* === Navigation Box (previous, next, languages) === */

/* top row */
 
td.man-nav_prev,
td.man-nav_next {
    font-size: 75%;
}

/* middle row */

td.man-nav_view,
td.man-nav_updated,
td.man-nav_download {
    font-size: 75%;
}

/* bottom row */

td.man-nav_languages {
    font-size: 75%;
}

/* === Examples === */

code, pre, tt {
    font-family: "andale mono", "monotype.com", "courier new", courier, monospace;
    margin: 0px;
}

table.EXAMPLE {
    margin-top: 1em;
}

table.EXAMPLE p {
    margin-top: 0em;
    margin-bottom: 0em;
}
